On the Limits of the Classical Approach to Cost Analysis
نویسندگان
چکیده
The classical approach to static cost analysis is based on transforming a given program into cost relations and solving them into closed-form upper-bounds. It is known that for some programs, this approach infers upper-bounds that are asymptotically less precise than the actual cost. As yet, it was assumed that this imprecision is due to the way cost relations are solved into upper-bounds. In this paper: (1) we show that this assumption is partially true, and identify the reason due to which cost relations cannot precisely model the cost of such programs; and (2) to overcome this imprecision, we develop a new approach to cost analysis, based on SMT and quantifier elimination. Interestingly, we find a strong relation between our approach and amortised cost analysis.
منابع مشابه
Cost Efficiency Evaluation via Data Envelopment Analysis Approach for Undesirable Outputs based on the Weak Disposability Axiom (Case Study: 56 Electricity Producing Thermal Power Plants in Iran)
Cost efficiency evaluation is a very important and applicable issue in Data Envelopment Analysis (DEA). In this paper, the classical cost efficiency model in which all the input prices are known and fixed for each decision making unit is developed via undesirable outputs with the weak disposability axiom. The proposed model is a nonlinear model under the variable returns to scale condition,...
متن کاملA cost-oriented model for multi-manned assembly line balancing problem
In many real world assembly line systems which the work-piece is of large size more than one worker work on the same work-piece in each station. This type of assembly line is called multi-manned assembly line (MAL). In the classical multi-manned assembly line balancing problem (MALBP) the objective is to minimize the manpower needed to manufacture one product unit. Apart from the manpower, othe...
متن کاملA Robust Scenario Based Approach in an Uncertain Condition Applied to Location-Allocation Distribution Centers Problem
The paper discusses the location-allocation model for logistic networks and distribution centers through considering uncertain parameters. In real-world cases, demands and transshipment costs change over the period of the time. This may lead to large cost deviation in total cost. Scenario based robust optimization approaches are proposed where occurrence probability of each scenario is not know...
متن کاملOptimal Distributed Generation Planning in Radial Distribution Networks Considering Protection Coordination Limits
Distributed generation (DG) has been widely used in distribution network to reduce the energy losses, improve voltage profile and system reliability, etc. The location and capacity of DG units can influence on probability of protection mal-operation in distribution networks. In this paper, a novel model for DG planning is proposed to find the optimum DG location and sizing in radial distr...
متن کاملMass Participation Factor in Defining Non-classical Range of Behavior for Mass Isolated Systems
The new techniques in seismic design of structures are usually attributed to high damping ratios. In such systems, the assumption of classical (i.e. proportional) damping is not valid and in most cases they should be considered as Non-classical systems. Since the analytical tools for studying the behavior of such structures are not easily available, the present work attempts to find the limits,...
متن کاملA multi-stage stochastic programming for condition-based maintenance with proportional hazards model
Condition-Based Maintenance (CBM) optimization using Proportional Hazards Model (PHM) is a kind of maintenance optimization problem in which inspections of a system relevant to its failure rate depending on the age and value of covariates are performed in time intervals. The general approach for constructing a CBM based on PHM for a system is to minimize a long run average cost per unit of time...
متن کامل